Thomas Müller - PDFSEARCH.IO - Document Search Engine

Thomas Müller
Results: 71

#	Item
21	TIAFT – The International Association of Forensic Toxicologists Committee of Systematic Toxicological Analysis Thomas Stimpfl, PhD, Chairman Klaus Muller, PhD, Former Chairman Merja Gergov, PhD Add to Reading List Source URL: www.tiaft.org Language: English - Date: 2014-10-29 19:21:29 Chromatography Laboratory techniques Mass spectrometry Separation processes Chemical pathology Solid phase extraction Forensic toxicology Gas chromatography–mass spectrometry Hydrophilic interaction chromatography Chemistry Science Scientific method
22	Essays of an Information Scientist: Of Nobel Class, Women in Science, Citation Classics, and other Essays, Vol:15, p.19, [removed]Current Contents, #7, p.3-11, February 17, 1992 Current Comments@ EUGENE GARFIELD INSTITUTE Add to Reading List Source URL: www.garfield.library.upenn.edu Language: English - Date: 1999-09-30 15:57:57 Evolutionary biology Guggenheim Fellows Hermann Joseph Muller Radiobiology Joshua Lederberg Mutagenesis Population genetics Thomas Hunt Morgan Gene Biology Genetics Science
23	Two-Way Cost Automata and Cost Logics over Infinite Trees Achim Blumensath TU Darmstadt Thomas Colcombet Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-01-20 11:11:33 Mathematics Ω-automaton Finite-state machine Alphabet Sequence Muller automaton Infinite tree automaton Automata theory Theoretical computer science Computer science
24	TIAFT – The International Association of Forensic Toxicologists Committee of Systematic Toxicological Analysis Thomas Stimpfl, PhD, Chairman Klaus Muller, PhD, Former Chairman Merja Gergov, PhD Add to Reading List Source URL: www.tiaft.org Language: English - Date: 2014-10-29 19:21:07 Chromatography Gas chromatography–mass spectrometry Liquid chromatography–mass spectrometry Forensic toxicology High-performance liquid chromatography Quadrupole mass analyzer Electrospray ionization Structural elucidation Tandem mass spectrometry Chemistry Laboratory techniques Mass spectrometry
25	TIAFT – The International Association of Forensic Toxicologists Committee of Systematic Toxicological Analysis Thomas Stimpfl, PhD, Chairman Klaus Muller, PhD, Former Chairman Merja Gergov, PhD Add to Reading List Source URL: www.tiaft.org Language: English - Date: 2014-10-29 19:21:01 Chromatography Measuring instruments Separation processes Chemical pathology Analytical chemistry Calibration curve Gas chromatography Mass spectrometry Ultraviolet–visible spectroscopy Chemistry Scientific method Science
26	Deciding the weak definability of Büchi definable tree languages∗ Thomas Colcombet1 , Denis Kuperberg2 , Christof Löding3 , and Michael Vanden Boom4 1,2 CNRS and LIAFA, Université Paris Diderot Paris, France Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-08-07 05:31:08 Ω-automaton Büchi automaton Tree automaton Star height Alternating finite automaton Muller automaton Automata theory Theoretical computer science Computer science
27	Methods for the Transformation of ω-Automata: Complexity and Connection to Second Order Logic Diploma Thesis (Revised Version) Christof L¨oding Supervisor: Prof. Dr. Wolfgang Thomas Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:56 Ω-automaton Nondeterministic finite automaton Muller automaton Finite-state machine Alternating finite automaton Sequence Powerset construction Automata theory Theoretical computer science Computer science
28	WHP Operations and Methods – November[removed]Improving NBIS MK IIIB Measurements Thomas J. Müller and Jürgen Holfort Institut für Meereskunde[removed]Kiel, Germany Add to Reading List Source URL: cchdo.ucsd.edu Language: English - Date: 2015-01-30 18:36:59 Chemistry Physical quantities Thermodynamics Metrology Temperature Conductivity Calibration curve Thermometer Calibration Measurement Physics Sensors
29	SPORTS PATH WORLD CUP TECHNICAL REPORT[removed]www.sportspath.com 1 Add to Reading List Source URL: sportspath.typepad.com Language: English - Date: 2014-08-07 13:29:01 Football in Germany Thomas Müller Association football Sports
30	Deciding the weak definability of Büchi definable tree languages∗ Thomas Colcombet1 , Denis Kuperberg2 , Christof Löding3 , and Michael Vanden Boom4 1,2 CNRS and LIAFA, Université Paris Diderot Paris, France Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-07-10 12:10:51 Ω-automaton Büchi automaton Tree automaton Star height Alternating finite automaton Muller automaton Automata theory Theoretical computer science Computer science